S=? [ s1=1 & ![s=1 & a=1] ]